Logical Connectives Modulate Attention to Simulations Evoked by the Constituents They Link Together

Mental representation of logical connectives.

Logical connectives, such as "AND", "OR", "IF. THEN", and "IF AND ONLY IF" are ubiquitous in both language and cognition; however, reasoning with logical connectives is error-prone. We argue that some of these errors may stem from people's tendency to minimize the number of possibilities compatible with logical connectives and to construct a "minimalist" one-possibility representation. As a res...

Investigations into the Meaning of Logical Connectives

Talk 1. Reassessing the Quinean challenge Patrick Allo, Free University of Brussels The goal of this contribution is to take a few steps back, and put in perspective our reasons for trying to avoid meaning-variance as a means to, first, save the possibility of genuine rivalry between different logics, and, second, safeguard the very idea of logical revision. One reason for this re-examination i...

Young Children's Comprehension of Logical Connectives

Set-Oriented Logical Connectives: Syntax and Semantics

Of the common commutative binary logical connectives, only and and ormay be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevant, that is, as connectives that take sets of arguments. This is especially evident in the Common Logic Interchange Format, in which it is easy for operators to be given arbitrary numbers of arguments. The reason is that...

Implementing logical connectives in constraint programming

Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language. We explore the solver architecture needed to propagate such combinations of constraints efficiently. In particular we describe two new features named satisfying sets and constraint trees. We also make use of movable ...